Operational semantics of a domain specific language for real time musician–computer interaction
نویسندگان
چکیده
منابع مشابه
Operational semantics of a domain specific language for real time musician-computer interaction
With the advent and availability of powerful personal computing, the computer music research and industry have been focusing on real-time musical interactions between musicians and computers; delegating human-like actions to computers who interact with a musical environment. One common use-case of this kind is Automatic Accompaniment where the system is comprised of a real-time machine listenin...
متن کاملHume: A Domain-Specific Language for Real-Time Embedded Systems
This paper describes Hume: a novel domain-specific language whose purpose is to explore the expressibility/costability spectrum in resource-constrained systems, such as real-time embedded or control systems. Hume provides a number of high level features including higherorder functions, polymorphic types, arbitrary but sized user-defined data structures, asynchronous processes, lightweight excep...
متن کاملDefining Domain Specific Operational Semantics for Activity Diagrams
Since the major revision 2 of the Unified Modeling Language (UML), activity diagrams have acquired many new features, e.g. hierarchy, data flow and signals. Thus, UML 2 activity diagrams are one of the most versatile formalisms, and can be applied in different domains. Activity diagrams are supported by a number of tools enabling for instance the execution of activity models. Based on the domai...
متن کاملOperational and Logical Semantics for Polling Real-Time Systems
PLC Automata are a class of real time automata suitable to describe the behaviour of polling real time systems PLC Automata can be compiled to source code for PLCs a hardware widely used in industry to control processes Also PLC Automata have been equipped with a logical and operational semantics using Duration Calculus DC and Timed Automata TA respectively The three main results of this paper ...
متن کاملAn Operational Semantics and Compiler for Real-time Speciications
The Modechart speciication language is a formalism for the speciication and implementation of real-time systems. The semantics of the language was formally deened axiomatically in Real-Time Logic. This paper presents the semantics for Modechart in an operational style and a compiler for automatically synthesizing speciications. Modechart is a synchronous language, which assumes the synchronous ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Event Dynamic Systems
سال: 2013
ISSN: 0924-6703,1573-7594
DOI: 10.1007/s10626-013-0166-2